离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

CAD^2B—一个计算机辅助数据库设计系统

本文介绍了一个用Ｔｕｒｂｏ Ｃ语言在ＡＳＴ－２８６机器上实现的计算机辅助数据库设计系统ＣＡＤ＾２Ｂ。该系统提供了人机交互的环境，供设计者进行概念模型设计，并自动完成从概念模型逻辑模型的映射，创建满足规范化要求的关系表。该系统采用的概念模型是引入了事件和时间的扩展了的实体关系模型。该模型既能充分反映应用环境的静态和动态语义，又是向关系模式转化的基础。     

岩石声学参数测量分析系统

刘祝萍等．岩石声学参数测量分析系统．测井技术，１９９４，１８（４）：２８８～２９８岩石声学参数测量是声波测井资料解释的基础性工作。本文介绍一种岩样声学参数测量分析系统，该系统能对岩样的纵（Ｐ）、横（Ｓ）波速度进行测量记录，并可将实测波形进入计算机，对所记录的波形进行频谱分析后，通过与标准试件的比较，可估算岩样的声衰减。     

用CT技术确定砂岩的孔隙度

周渤然等．用ＣＴ技术确定砂岩的孔隙度．测井技术，１９９４，１８（３）：１７８～１８４本文首先提出用计算机层析（ＣＴ）技术确定砂岩孔隙度的原理和方法。通过对四块人工岩样和六十块砂岩岩样的测定，其结果表明该方法是可靠的。使用ＣＴ技术可定量、定性地解释某些岩样的内部特征，重矿物分布及裂缝变化情况。实践表明，采用图象减法技术则有助于消除光束硬化现象造成的误差。     

三维定量储层地质模型与参数动态预测方法

提出了三维定量储层地质模型及其参数动态预测方法，用该方法可预测储层开采状态，水淹区及剩余油区分布和各剩余油区的可采储量，三维定量储层地质模型的预测图件可为合理开采提供依据。     

一种新型同位素示踪剂载体及应用

同位素沾污、低注井同位素示踪剂因沉降造成的上返速度慢或无法上返、大孔道地层同位素示踪剂失踪等是影响注水开发油田后期吸水剖面测井资料质量的主要问题。同位素示踪剂载体的物理参数，尤其是其密度，是产生上述问题的重要因素。通过对同位素示踪剂载体技术指标优选而生产的一种新型同位素示踪剂，可以解决低注井同位素上返速度慢的问题，并能有效识别大孔道地层，减少同位素沾污。这种同位素示踪剂载体已在河南油田吸水剖面测井中应用，并见到了很好的效果。     

对异常高压层厚度划分问题的探讨

通过对喇嘛甸油田800多口聚合物井、更新井的厚度划分及对15口井的异常高压层处理的实例，根据异常高压层在电测曲线上的反映特征，准确地将异常高压层识别出来，并采用本井上下相似层对比法、周围邻井砂体预测分析法、新老标准相结合法等综合分析判断方法，正确地划分异常高压层的厚度，将漏划或少划的厚度补划上。给后续的油层对比、水淹层解释、射孔方案的编制及动态、开发综合方案的调整提供准确的基础数据，并为套管损坏的防治、新钻井的异常高压层厚度解释提供了可借鉴的依据。     

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used.     

稀疏脉冲反演技术在井间地震反演中的应用

将传统的波阻抗反演技术应用于井间地震资料反演时，存在着方法适用的域和资料的域不同，井间地震资料的频带比地震资料的频带宽以及频率比地震资料频率高，多对井间地震资料拼接等问题。为此，在胜利油田K71井区，探讨了利用传统波阻抗反演技术（稀疏脉冲反演）进行井间地震资料波阻抗反演的一些技术问题，并用利11对井间地震资料进行了波阻抗反演，获得了较好的反演结果，在井间地震资料反演中，采用匹配滤波方的井间地震资料转换到时间域；利用高分辨率地面三维地震资料，采用统计方法提取反演子波，子波的波形和相位较稳定，频带宽；对测井资料进行标准化处理，在反演的波阻抗剖面上砂体的空间展布形态清晰，对储层的描述更精细；利用时深转换模型，将时间域的波阻抗剖面转换到深度域，直接与测井资料进行对比分析，对储层的描述更直观可靠。